School of Computer Science - PDFSEARCH.IO - Document Search Engine

School of Computer Science
Results: 3584

#	Item
461	Foundational Issues in Human Computing and Crowdsourcing David Alan Grier Center for International Science and Technology Policy Elliott School of International Affairs 1957 E Street NW #403 Add to Reading List Source URL: crowdresearch.org Language: English - Date: 2011-03-24 21:28:47 Classes of computers Theoretical computer science Computer engineering Computer science Electrical engineering Electronic engineering Charles Babbage Human-based computation Crowdsourcing Mathematical table Computer Computing
462	Session T2C THE CONCEPT OF “ALGORITHM EFFICIENCY” IN THE HIGH SCHOOL CS CURRICULUM Judith Gal-Ezer 1 and Ela Zur2 Abstract  Algorithms and the efficiency of algorithms are basic concepts to every computer science Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2009-03-16 13:52:35 Theoretical computer science Computational complexity theory Algorithm Mathematical logic Analysis of algorithms Computer science Computing XPL Efficiency
463	Iso-level tool path planning for free-form surfaces Qiang Zoua,c , Juyong Zhanga,∗, Bailin Dengb , Jibin Zhaoc a School of Mathematical Sciences, University of Science and Technology of China, Anhui, 230026, China; Add to Reading List Source URL: www.bdeng.me Language: English - Date: 2016-04-27 10:38:10 Differential geometry Curves Multivariable calculus Computer-aided engineering Mathematical optimization Differential geometry of surfaces Curvature Parallel curve Image segmentation Differential geometry of curves G-code Level set method
464	A Visual Architectural Approach to Maintaining Web Applications Ahmed E. Hassan and Richard C. Holt School of Computer Science University of Waterloo 200 University Avenue West Waterloo, ON Add to Reading List Source URL: plg.uwaterloo.ca Language: English - Date: 2003-01-23 11:47:24 Software architecture Integrated development environments Application server Web application Java enterprise platform Web framework Uniface
465	Implementing Bit-addressing with Specialization Scott Draves School of Computer Science Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, PA 15213, USA Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:07 Procedural programming languages Object-oriented programming languages Cross-platform software Functional languages ALGOL 68 Type system D Inline expansion ARM architecture Bit array C Quantization
466	Towards Feature-Oriented Specification and Development with Event-B Michael R. Poppleton School of Electronics and Computer Science University of Southampton Southampton, SO17 1BJ, UK Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-12-11 09:56:52 Formal methods Theoretical computer science Project management Computer programming Refinement B-Method Feature model Model checking Object Process Methodology Software development process Algorithm Economic model
467	The First IEEE International Conference on Computer Communication and the Internet ICCCI 2016 Oct. 13-Oct. 15, 2016, Wuhan China The First International Conference on Computer Communication and the Internet (ICCCI 2016) Add to Reading List Source URL: www.iccci.org Language: English - Date: 2016-06-03 05:11:10 Bangladeshi architecture Shahjalal University of Science and Technology Sylhet University of Colombo Min Chen Chai Keong Toh International School of Information Management
468	DL Reasoner vs. First-Order Prover Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov\|horrocks}@cs.man.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:09 Automated theorem proving Reasoning Semantic Web Artificial intelligence School of Computer Science University of Manchester Knowledge representation and reasoning Description logic Vampire Semantic reasoner Automated reasoning Web Ontology Language Resolution
469	Improved Algorithms for Module Extraction and Atomic Decomposition Dmitry Tsarkov School of Computer Science The University of Manchester Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:09 Information science Knowledge representation Technical communication Ontology Mathematical logic Mahlo cardinal Mereology Constructible universe
470	Jeffrey S. Rosenschein Rachel and Selim Benin School of Computer Science and Engineering The Hebrew University of Jerusalem Jerusalem, Israel ph: + Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2016-01-27 03:09:54 Multi-agent systems Artificial intelligence Autonomous Agents and Multi-Agent Systems International Conference on Autonomous Agents and Multiagent Systems Sarit Kraus Ariel D. Procaccia Multi-agent planning Agent-based model Distributed artificial intelligence

UPDATE